$\vdash$  $\forall$$x$, $y$:Atom. ($x$ =a $y$ = ff) $\Rightarrow$ ($\neg$($x$ = $y$))